T. Arai; "Derivability conditions on Rosser's provability predicates"
https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-31/issue-4/Derivability-conditions-on-Rossers-provability-predicates/10.1305/ndjfl/1093635585.pdf
新井敏康
Thm ?
導出可能性条件
D2,D3について
D2が成立する
$ T
の
Rosser証明可能性述語
，及び，D3が成立する
$ T
の
Rosser証明可能性述語
が存在する．
remark:
D2とD3の
どちらも
満たす
Rosser証明可能性述語
は存在しないことに注意．